From c6596a861fb5188dfeaaddd8d40cfb5127702a6a Mon Sep 17 00:00:00 2001
From: Erik Moeller <erik@users.mediawiki.org>
Date: Tue, 17 Jan 2006 00:51:09 +0000
Subject: [PATCH] $value never initialized, I presume $val is meant

---
 includes/User.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/includes/User.php b/includes/User.php
index c96d03c9e7..260f8e87fd 100644
--- a/includes/User.php
+++ b/includes/User.php
@@ -888,7 +888,7 @@ class User {
 				// Anons have a separate memcached space, since
 				// user records aren't kept for them.
 				global $wgDBname, $wgMemc;
-				$key = "$wgDBname:newtalk:ip:$value";
+				$key = "$wgDBname:newtalk:ip:$val";
 				$wgMemc->set( $key, $val ? 1 : 0 );
 			} else {
 				if( $val ) {
-- 
2.20.1